Optimal. Leaf size=63 \[ -\frac {a+b \tanh ^{-1}(c+d x)}{d e^2 (c+d x)}+\frac {b \log (c+d x)}{d e^2}-\frac {b \log \left (1-(c+d x)^2\right )}{2 d e^2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.06, antiderivative size = 63, normalized size of antiderivative = 1.00, number of steps used = 7, number of rules used = 7, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.333, Rules used = {6107, 12, 5916, 266, 36, 31, 29} \[ -\frac {a+b \tanh ^{-1}(c+d x)}{d e^2 (c+d x)}+\frac {b \log (c+d x)}{d e^2}-\frac {b \log \left (1-(c+d x)^2\right )}{2 d e^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 29
Rule 31
Rule 36
Rule 266
Rule 5916
Rule 6107
Rubi steps
\begin {align*} \int \frac {a+b \tanh ^{-1}(c+d x)}{(c e+d e x)^2} \, dx &=\frac {\operatorname {Subst}\left (\int \frac {a+b \tanh ^{-1}(x)}{e^2 x^2} \, dx,x,c+d x\right )}{d}\\ &=\frac {\operatorname {Subst}\left (\int \frac {a+b \tanh ^{-1}(x)}{x^2} \, dx,x,c+d x\right )}{d e^2}\\ &=-\frac {a+b \tanh ^{-1}(c+d x)}{d e^2 (c+d x)}+\frac {b \operatorname {Subst}\left (\int \frac {1}{x \left (1-x^2\right )} \, dx,x,c+d x\right )}{d e^2}\\ &=-\frac {a+b \tanh ^{-1}(c+d x)}{d e^2 (c+d x)}+\frac {b \operatorname {Subst}\left (\int \frac {1}{(1-x) x} \, dx,x,(c+d x)^2\right )}{2 d e^2}\\ &=-\frac {a+b \tanh ^{-1}(c+d x)}{d e^2 (c+d x)}+\frac {b \operatorname {Subst}\left (\int \frac {1}{1-x} \, dx,x,(c+d x)^2\right )}{2 d e^2}+\frac {b \operatorname {Subst}\left (\int \frac {1}{x} \, dx,x,(c+d x)^2\right )}{2 d e^2}\\ &=-\frac {a+b \tanh ^{-1}(c+d x)}{d e^2 (c+d x)}+\frac {b \log (c+d x)}{d e^2}-\frac {b \log \left (1-(c+d x)^2\right )}{2 d e^2}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.07, size = 69, normalized size = 1.10 \[ -\frac {\frac {2 a}{c+d x}+b \log \left (-c^2-2 c d x-d^2 x^2+1\right )-2 b \log (c+d x)+\frac {2 b \tanh ^{-1}(c+d x)}{c+d x}}{2 d e^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.82, size = 85, normalized size = 1.35 \[ -\frac {{\left (b d x + b c\right )} \log \left (d^{2} x^{2} + 2 \, c d x + c^{2} - 1\right ) - 2 \, {\left (b d x + b c\right )} \log \left (d x + c\right ) + b \log \left (-\frac {d x + c + 1}{d x + c - 1}\right ) + 2 \, a}{2 \, {\left (d^{2} e^{2} x + c d e^{2}\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.18, size = 137, normalized size = 2.17 \[ \frac {{\left ({\left (c + 1\right )} d - {\left (c - 1\right )} d\right )} {\left (\frac {{\left (d x + c + 1\right )} b \log \left (-\frac {d x + c + 1}{d x + c - 1} - 1\right )}{d x + c - 1} + b \log \left (-\frac {d x + c + 1}{d x + c - 1} - 1\right ) - \frac {{\left (d x + c + 1\right )} b \log \left (-\frac {d x + c + 1}{d x + c - 1}\right )}{d x + c - 1} + 2 \, a\right )}}{2 \, {\left (\frac {{\left (d x + c + 1\right )} d^{2} e^{2}}{d x + c - 1} + d^{2} e^{2}\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.04, size = 86, normalized size = 1.37 \[ -\frac {a}{d \,e^{2} \left (d x +c \right )}-\frac {b \arctanh \left (d x +c \right )}{d \,e^{2} \left (d x +c \right )}+\frac {b \ln \left (d x +c \right )}{d \,e^{2}}-\frac {b \ln \left (d x +c -1\right )}{2 d \,e^{2}}-\frac {b \ln \left (d x +c +1\right )}{2 d \,e^{2}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.32, size = 95, normalized size = 1.51 \[ -\frac {1}{2} \, {\left (d {\left (\frac {\log \left (d x + c + 1\right )}{d^{2} e^{2}} - \frac {2 \, \log \left (d x + c\right )}{d^{2} e^{2}} + \frac {\log \left (d x + c - 1\right )}{d^{2} e^{2}}\right )} + \frac {2 \, \operatorname {artanh}\left (d x + c\right )}{d^{2} e^{2} x + c d e^{2}}\right )} b - \frac {a}{d^{2} e^{2} x + c d e^{2}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 1.37, size = 122, normalized size = 1.94 \[ \frac {b\,\ln \left (1-d\,x-c\right )}{2\,x\,d^2\,e^2+2\,c\,d\,e^2}-\frac {b\,\ln \left (c+d\,x+1\right )}{2\,\left (x\,d^2\,e^2+c\,d\,e^2\right )}-\frac {a}{x\,d^2\,e^2+c\,d\,e^2}-\frac {b\,\ln \left (c^2+2\,c\,d\,x+d^2\,x^2-1\right )}{2\,d\,e^2}+\frac {b\,\ln \left (c+d\,x\right )}{d\,e^2} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 2.83, size = 270, normalized size = 4.29 \[ \begin {cases} \frac {\tilde {\infty } a}{e^{2} x} & \text {for}\: c = 0 \wedge d = 0 \\\frac {- \frac {a}{x} + b d \log {\relax (x )} - b d \log {\left (x - \frac {1}{d} \right )} - b d \operatorname {atanh}{\left (d x \right )} - \frac {b \operatorname {atanh}{\left (d x \right )}}{x}}{d^{2} e^{2}} & \text {for}\: c = 0 \\\frac {x \left (a + b \operatorname {atanh}{\relax (c )}\right )}{c^{2} e^{2}} & \text {for}\: d = 0 \\- \frac {a}{c d e^{2} + d^{2} e^{2} x} + \frac {b c \log {\left (\frac {c}{d} + x \right )}}{c d e^{2} + d^{2} e^{2} x} - \frac {b c \log {\left (\frac {c}{d} + x + \frac {1}{d} \right )}}{c d e^{2} + d^{2} e^{2} x} + \frac {b c \operatorname {atanh}{\left (c + d x \right )}}{c d e^{2} + d^{2} e^{2} x} + \frac {b d x \log {\left (\frac {c}{d} + x \right )}}{c d e^{2} + d^{2} e^{2} x} - \frac {b d x \log {\left (\frac {c}{d} + x + \frac {1}{d} \right )}}{c d e^{2} + d^{2} e^{2} x} + \frac {b d x \operatorname {atanh}{\left (c + d x \right )}}{c d e^{2} + d^{2} e^{2} x} - \frac {b \operatorname {atanh}{\left (c + d x \right )}}{c d e^{2} + d^{2} e^{2} x} & \text {otherwise} \end {cases} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________